Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOC...
authorEmmanuel Bourg <ebourg@apache.org>
Thu, 30 Jan 2025 23:01:36 +0000 (00:01 +0100)
committerMoritz Muehlenhoff <jmm@debian.org>
Thu, 30 Jan 2025 23:01:36 +0000 (00:01 +0100)
commitaf4eb1f09a2092f7d7e1e07267838d61c24998e1
tree8b2bc680cb358a1b8fde26e713a1c98b4af6cb4c
parentcbba9ca586b2b25fb502783b4f89430b9b92091b
Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOCH is specified

Forwarded: no

Gbp-Pq: Name reproducible-properties-timestamp.diff
src/java.base/share/classes/java/util/Properties.java